GtkHeaderBar: Queue a resize when pack-type is changed

Otherwise, buttons appear to stick to the wrong side in glade.

diff --git a/gtk/gtkheaderbar.c b/gtk/gtkheaderbar.c
index 20c688225d79c27bfe13e0d5c2979a9f7eeef048..63c05b8f2e8155cafb2869b0a50c57b6cd969c6d 100644 (file)
--- a/gtk/gtkheaderbar.c
+++ b/gtk/gtkheaderbar.c
@@ -1697,6 +1697,7 @@ gtk_header_bar_set_child_property (GtkContainer *container,
     case CHILD_PROP_PACK_TYPE:
       child->pack_type = g_value_get_enum (value);
       _gtk_header_bar_update_separator_visibility (bar);
+      gtk_widget_queue_resize (widget);
       break;
 
     case CHILD_PROP_POSITION: